Buy Used and New Alexander Leitsch Books

Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400703193

Format: Hardcover (293 pages)
Publisher: Springer
Published: 17 Jan 2011

Save for later

Automated Model Building (Applied Logic): 31 (Applied Logic Series)

by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier

ISBN 13: 9781402026522

Format: Hardcover (360 pages)
Publisher: Springer
Published: 13 Sep 2004

Save for later

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob

ISBN 13: 9783540571841

Format: Paperback (372 pages)
Publisher: Springer
Published: 13 Aug 1993

Save for later

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science)

by Tobias Nipkow,Alexander Leitsch,Rajeev Gore

ISBN 13: 9783540422549

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

by Alexander Leitsch

ISBN 13: 9783642644733

Format: Paperback (308 pages)
Publisher: Springer
Published: 31 Jul 2012

Save for later

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob

ISBN 13: 9783540633853

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Methods of Cut-Elimination: 34 (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400734975

Format: Paperback (296 pages)
Publisher: Springer
Published: 25 Feb 2013

Save for later